| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 6 | 420645 | ||
| Vorlesung | 419595 | Di 08:30-10:00 Online-Veranstaltung (×13) Mi 08:30-10:00 Online-Veranstaltung (×13) | |||
| Übung | 419071 | Mo 13:00-15:00 TEMP2 (1515|002) (×1) Mo 18:30-20:00 Online-Veranstaltung (×14) Di 11:00-13:00 TEMP1 (1515|001) (×1) | |||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 422515 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 428629 | ||
| Vorlesung | 415004 | Di 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Übung | 415005 | Mo 16:30-18:00 Online-Veranstaltung (×13) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 422739 | ||
| Funktionale Programmierung | Fach-/Modulprüfung | 6 | 421971 | ||
| Vorlesung | 424976 | Mo 10:30-12:00 Online-Veranstaltung (×1) Mo 16:30-18:00 Online-Veranstaltung (×13) Di 10:30-12:00 Online-Veranstaltung (×13) | |||
| Übung | 424975 | Mo 10:30-12:00 Online-Veranstaltung (×12) | |||
| Höhere Algorithmik | Fach-/Modulprüfung | 6 | 431525 | ||
| Vorlesung | 426476 | Do 10:30-12:00 Online-Veranstaltung (×12) Fr 10:30-12:00 Online-Veranstaltung (×10) | |||
| Übung | 431521 | ||||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 433043 | ||
| Logics for Reasoning about Uncertainty | Fach-/Modulprüfung | 4 | 442081 | ||
| Vorlesung | 425003 | Di 12:30-14:00 AH I (2350|028) (×13) Di 12:30-14:00 Online-Veranstaltung (×13) | |||
| Logikprogrammierung | Fach-/Modulprüfung | 6 | 421419 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 429110 | ||
| Vorlesung | 425172 | Di 08:30-10:00 Online-Veranstaltung (×14) Fr 08:30-10:00 Online-Veranstaltung (×14) | |||
| Übung | 425173 | Di 12:30-14:00 Online-Veranstaltung (×13) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 422632 | ||
| Vorlesung/Übung | 418239 | Mo 12:30-14:00 Online-Veranstaltung (×13) Fr 10:30-12:00 Online-Veranstaltung (×13) | |||
| Online Algorithmen | Fach-/Modulprüfung | 6 | 412667 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 429307 | ||
| Quantum Computing | Fach-/Modulprüfung | 4 | 424163 | ||
| Rekursionstheorie | Fach-/Modulprüfung | 6 | 429579 | ||
| Vorlesung | 424974 | Mo 10:30-12:00 Online-Veranstaltung (×8) Do 10:30-12:00 Online-Veranstaltung (×10) | |||
| Übung | 424973 | Mo 12:30-14:00 Online-Veranstaltung (×6) | |||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 422954 | ||
| Vorlesung | 425179 | Mi 10:30-12:00 Online-Veranstaltung (×14) Do 14:30-16:00 Online-Veranstaltung (×12) | |||
| Übung | 425178 | Mo 14:30-16:00 Online-Veranstaltung (×11) | |||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 420846 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 6 | 423968 | ||
| Theory of Constraint Satisfaction Problems | Fach-/Modulprüfung | 6 | 422464 | ||
| Theory of Distributed and Parallel Systems | Fach-/Modulprüfung | 6 | 420996 | ||
| Vorlesung | 426474 | Mi 12:30-14:00 Online-Veranstaltung (×12) Fr 08:30-10:00 Online-Veranstaltung (×7) |